intertheoretic reduction and explanation in mathematics published presentations and documents on DocSlides.